Decimal representation of a mixed number